Metamodeling Foundation for Software and Data Integration

نویسندگان

  • Henning Agt
  • Gregor Bauhoff
  • Mario Cartsburg
  • Daniel Kumpe
  • Ralf-Detlef Kutsche
  • Nikola Milanovic
چکیده

We propose a model-based methodology for integration of heterogeneous distributed systems, based on the multi-level modeling abstractions, automated conflict analysis and connector code generation. The focus in this paper is on the metamodeling foundation necessary for this process, and consequently we introduce computation independent, platform specific, platform independent and semantic metamodels, which generate a set of domain specific languages used to describe software and data integration scenarios.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Metamodeling Integration Architecture for Open Biomedical Ontologies: The GO Extensions' Case Study

New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has to deal with multitude of information representations that are driven by the continuous evolution of biological knowledge. Conceptual modeling allows layered descriptions whose abstractions are rather stable while their...

متن کامل

On integrating triple graph grammars and OCL for model-driven development

Software systems become more and more complex. Despite significant advances in code-centric technologies such as advanced programming languages and integrated development environments (IDEs), developing complex software systems is still a laborious task. Model-centric software development has emerged as a promising paradigm, indicating a shift from “code-centric” to “model-centric” engineering....

متن کامل

A metamodeling level transformation from UML sequence diagrams to Coq

Modeling is an important aspect of UML formal verification that directly affects the quality and efficiency of the verification. Formal models are the foundation of formal verification. As UML diagrams only have semi-formal semantics, they cannot be used for formal verification directly. Recent studies present model transformation from semi-formal UML models to formal models to solve the issues...

متن کامل

A Taxonomy of Metamodel Hierarchies

In the context of software engineering and model-driven development in particular, metamodeling gains more and more importance. So far, no classifying study of theoretical metamodeling concepts and hierarchy design options has been conducted in order to establish a comprehensive set of interrelated design variables, i.e. a coherent design space. A well-designed metamodeling hierarchy is essenti...

متن کامل

Metamodel-based Tool Integration

Metamodels have been proposed as the basis for tool integration, based on the fact that data and models handled by tools may be defined by means of metamodels, and therefore also their integration. An industrial wind turbine project case study on tool integration has been performed to investigate this. The tool integration scenarios cover both integration of requirements and design Artifacts, a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009